- proof test model
- PTM, proof test modelмодель для контрольных [проверочных] испытаний
English-Russian dictionary of planing, cross-planing and slotting machines. общая редакция - Полюхин В.М.. 2015.
proof test model
Смотреть что такое "proof test model" в других словарях:
Model-based testing — is the application of Model based design for designing and optionally executing the necessary artifacts to perform software testing. Models can be used to represent the desired behavior of the System Under Test (SUT), or to represent the desired… … Wikipedia
Model theory — This article is about the mathematical discipline. For the informal notion in other parts of mathematics and science, see Mathematical model. In mathematics, model theory is the study of (classes of) mathematical structures (e.g. groups, fields,… … Wikipedia
Proof of impossibility — A proof of impossibility, sometimes called a negative proof or negative result , is a proof demonstrating that a particular problem cannot be solved, or cannot be solved in general. Often proofs of impossibility have put to rest decades or… … Wikipedia
test — I (New American Roget s College Thesaurus) n. examination; trial, essay; criterion; experiment. II (Roget s IV) n. 1. [A check for adequacy] Syn. inspection, analysis, countdown, probing, inquiry, inquest, elimination, proving ground(s), training … English dictionary for students
Test (student assessment) — A test or an examination (or exam ) is an assessment, often administered on paper or on the computer, intended to measure the test takers or respondents (often a student) knowledge, skills, aptitudes, or classification in many other topics (e.g … Wikipedia
Model checking — This article is about checking of models in computer science. For the checking of models in statistics, see regression model validation. In computer science, model checking refers to the following problem: Given a model of a system, test… … Wikipedia
model theory — The use of a model to test for the consistency of an axiomatized system is older than modern logic. Descartes s algebraic interpretation of Euclidean geometry provides a way of showing that if the theory of real numbers is consistent, so is the… … Philosophy dictionary
test — Synonyms and related words: Bernreuter personality inventory, Binet Simon test, Brown personality inventory, Goldstein Sheerer test, IQ, IQ test, Kent mental test, Minnesota preschool scale, Olympic games, Olympics, Oseretsky test, Pap test,… … Moby Thesaurus
model — n 1. prototype, archetype, type; mold, original, protoplast, example, pattern, design, paradigm, sample; standard, criterion, gauge, norm, test, rule, precedent, touchstone, canon, principle. 2. epitome, ideal, exemplar, paragon, beau ideal,… … A Note on the Style of the synonym finder
Turing's proof — First published in January 1937 with the title On Computable Numbers, With an Application to the Entscheidungsproblem , Turing s proof was the second proof of the assertion (Alonzo Church proof was first) that some questions are undecidable :… … Wikipedia
Mathematical proof — In mathematics, a proof is a convincing demonstration (within the accepted standards of the field) that some mathematical statement is necessarily true.[1][2] Proofs are obtained from deductive reasoning, rather than from inductive or empirical… … Wikipedia
